French translation for "constructible universe"

univers constructible

Example Sentences:

	1.	For example, if 0# exists then there is an elementary embedding from the constructible universe L into itself. Par exemple, si 0 #
	2.	The elements of L are called "constructible" sets; and L itself is the "constructible universe". Les éléments de la classe L sont appelés ensembles constructibles ; L est appelé l'univers constructible.
	3.	Kunen showed that if there exists a nontrivial elementary embedding j:L→L of the constructible universe, then 0# exists. En théorie des ensembles, Kunen a démontré que l'existence d'un plongement non trivial j : L → L
	4.	In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets. En mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté L, est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples.
	5.	In that work he introduced the constructible universe, a model of set theory in which the only sets that exist are those that can be constructed from simpler sets. Il introduit dans ce travail la notion d'univers constructible, modèle de la théorie des ensembles dans lequel les seuls ensembles existants sont ceux qui peuvent être construits à partir d'ensembles plus élémentaires.
	6.	In this, he proved that the constructible universe is an inner model of ZF set theory, and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe. Il y montrait que cette classe est un modèle intérieur (en) de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle.
	7.	In this, he proved that the constructible universe is an inner model of ZF set theory, and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe. Il y montrait que cette classe est un modèle intérieur (en) de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle.
	8.	Or if there is a measurable cardinal, then iterating the definable powerset operation rather than the full one yields Gödel's constructible universe, L, which does not satisfy the statement "there is a measurable cardinal" (even though it contains the measurable cardinal as an ordinal). De même, s'il existe un cardinal mesurable, restreindre la construction de V aux ensembles de parties définissables aboutit à l'univers constructible de Gödel, L, lequel satisfait l'axiome de constructibilité, et qui ne vérifie pas l'assertion « il existe un cardinal mesurable » (bien qu'il les contienne toujours, en tant qu'ordinaux).

Similar Words：

"constructibility" French translation, "constructible function" French translation, "constructible number" French translation, "constructible polygon" French translation, "constructible set (topology)" French translation, "constructing a story" French translation, "construction" French translation, "construction 3d printing" French translation, "construction and civil engineering companies" French translation